Section: New Results

Quality assessment and qualification of Polychrony on the open-source Polarsys IWG platform

Participants : Loïc Besnard, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin.

Since the open-source release of Polychrony and in the context of the ITEA2 OPEES project, we are collaborating with CS to the integration of Polychrony on the Polarsys platform. This integration proceeds according to guidelines and requirements under definition within the OPEES project and aims first, at putting them to the test. The qualification process of Polychrony in Polarsys consists of checking the maturity level of its implementation and documentation (a standard software engineering assessment) but is also concerned with its capabilities to be composed, inter-operated and mapped with other components on the platform to form a application-specific design toolchain, by using model-driven engineering technologies for model transformation and orchestration. The last phase of this assessment is with regards to its qualifiability, as a simulation tool, as a verification tool, as a code generation tools, which needs to adhere standards such as these defined the in DO178 documents. In parallel, the quality assessment of Polychrony is complemented with a case study, of the APOTA network protocol, whose aim is to document, as a tutorial, the use and added-value of the toolset for its future users on the Polarsys platform.